This article aims to elucidate, albeit in a preliminary way, the concept of liquidity in Zygmunt Bauman and its effects onsociety. The deductive-inductive method will be used. As for the methodology, this will be of a bibliographic nature. This study is in line with what the sociologist Zygmunt Bauman (1925-2017), in his texts, postulates that Modernity can be divided into two phases: Solid Modernity and Liquid Modernity. The first began in the 15th century and lasted until the 19th century; the (...) second began in the 20th century and continues to the present time. To describe modern society from the end of the 20th century, Bauman uses the metaphor of 'liquidity', aiming to point out that the contemporary world is going through a period of uncertainty, ephemerality and instabilities. According to Bauman, the modern ideal coined between the 15th and 19th centuries postulated the primacy of reason and the autonomy of capitalist man and such assumptions led society to liquid modernity. In this liquid “contemporaneity”, nothing is lasting, everything is volatile, ephemeral; consumption is the social parameter, whether of the individual, the family, the State or religion. (shrink)

A pesar de la antigüedad de la filosofía, la aparición de la historiografía filosófica es relativamente reciente, pues es Hegel quien le asigna por vez primera una metodología precisa. Esta última apunta a un estudio de los filósofos del pasado que evite su tergiversación; sin embargo, el pensador alemán reconoce que el ejercicio del historiador de la filosofía no puede ser imparcial, dado que sus consideraciones poseen una carga valorativa. Esto ha hecho de la historiografía filosófica una palestra, en la (...) que se enfrentan las más variadas interpretaciones. Frente a este panorama reacciona Jacques Brunschwig: su propuesta consiste en evadir los presupuestos filosóficos que permean a las empresas hermenéuticas; para ello, estima necesario recurrir a técnicas objetivas (paleografía, filología, traducción, edición crítica) que tratan de dilucidar el sentido de un texto. Empero, Pierre Aubenque cuestiona que sea posible hacer historiografía de la filosofía sin poseer intereses filosóficos, ya que su practicante debe tener una afinidad electiva con aquello que estudia. El escrito parte de esta idea para destacar que no hay interpretaciones del pasado que permanezcan indiferentes a las motivaciones actuales. En este sentido, el único criterio posible para evaluar la conveniencia de las interpretaciones es su plausibilidad. (shrink)

El artículo se concentra en indagar las diferentes declaraciones de Marx sobre la justicia, con la intención de determinar tres cuestiones: en primer lugar, saber si nuestro autor cuenta con una concepción de la justicia; en segundo lugar, establecer si la reflexión acerca de lo que es justo ocupa un lugar privilegiado en su obra; y, en tercer lugar, ver si a partir de ahí puede colegirse la existencia de una teoría marxiana de la justicia. De especial interés resulta la (...) presencia de argumentos con implicaciones éticas y morales en estos asuntos. (shrink)

This study aims to deepen the philosophical aspects of the relationship between the work of Pierre Hadot and Michel Foucault, with regard to the concepts of "Spiritual Exercises" and "Self-Care". We intend to analyze how Pierre Hadot interpreted the appropriation that Michel de Foucault made of his text "spiritual exercises", when presenting the notion about the definition of "Care of the self". We elucidate the main divergences and convergences present between the philosophical reflections of these two authors, which are of (...) great relevance for the understanding of current phenomena. The methodology adopted was exploratory theoretical-bibliographic research, halfway betweena comment and an essay. Our studies point to the theme of 'the self' as the central point of the research, with “Self-Care” as the bias capable of leading us to knowledge and, in this way, taking us to the direction of existence through the rationality ofthe “Exercises” Spiritual ”. Our two authors, in their discussions about “taking care of oneself”, evoke in part the thinking of the Greeks, who are the source of the definition of this principle. Therefore, the term “epimeleia heauton” will guide us, that is, to undertake in the face of the world of life, in the practice of thorough and permanent criticism in the face of one's own conduct. In other words, by means of these spiritual exercises, thus being able to contemplate oneself rationally on a path towards "oneself" and through "oneself". Furthermore, all of this implies a constant effort on the will and desire, in order to architect authentic autonomy on a daily basis. We do not intend to exhaust the whole subject, however, the relationship to be developed will bring us closer to dominance over ourselves and make us reflect on the state of "having oneself in the hands.". (shrink)

Este texto analiza las concepciones que J. S. Mill y K. Marx defienden sobre la libertad, con el fin de establecer si entre ellas hay puntos de convergencia, a pesar de las diferentes motivaciones que las impulsan. En este sentido, la tesis que se propone es que ambos pensadores coinciden en la defensa que realizan de la libertad, dado que le otorgan un papel destacado a la autodeterminación, el libre desarrollo de la individualidad y a la existencia de condiciones materiales (...) para su concreción. Así las cosas, las distancias que las separan no constituyen ningún óbice al momento de abogar por lo que consideran como el valor fundamental del ser humano. (shrink)

This article aims to analyze some aspects of the work Manual para a Vida Feliz, the result of classes given by Epictetus, and recorded by his student Ariano. We will consider the situations that, according to Epictetus, depend on the individual and those that do not depend on their action. In particular, this analysis will focus on fragments 1 to 6 of the manual, given the length to be analyzed in an article. To account for the proposed object, this analysis (...) will be carried out, based on Hadot's (2015) perspective on the subject. The research method used will be bibliographic review. As for the methodology, it will be deductive in nature. Our studies show that his teachings are based on the essential principles of Stoic philosophy. Therefore, the only good that exists, for him, is the moral good. Furthermore, all human action is based on judgment and nature is coherent with itself. From this perspective, what depends on the individual, in this life, is what is under their control and everything that is beyond their control does not depend on them. Therefore, worrying about what is not under your control is considered useless and a waste of time. (shrink)

This article aims to present the understanding of spiritual exercises in Pierre Hadot and its importance. In order to give an account of the proposed object we will resort to bibliographical and documentary research. In the present work, we emphasize that the definition of spiritual exercises is complex, as the author himself says. According to Hadot (2014), this term arose with the ancient Greeks, and not with Christianity and is linked to the practice of caring for oneself. According to him, (...) the Stoics already had the habit of turning to themselves and reflecting their own existence through exercises. In his quest to give a definition for the expression 'Spiritual Exercises', Hadot (2014) in his writings presents some reasons why he chose the term. According to him, reading the collection A Poetry as a spiritual exercise, as well as the contact with the work of Élisabeth Brisson, and with the book of Paul Rabbow [Seelenführung. Methodik der Exerzitien in der Antike], led him to understand the depth of the expression 'Spiritual Exercise', although this does not express the density of reality experienced in the experience of encounter with oneself and with the world. (shrink)

El propósito de este trabajo consiste en destacar el papel central que tiene el problema de la divisibilidad del alma en los dos enfoques bajo los que se presenta la investigación psicológica aristotélica: el hilemórfico y el cardiocéntrico. Mientras que el primero sostiene que el alma es la forma o esencia del cuerpo entero, el segundo aboga por la localización del alma en el corazón, pues asegura que allí se manifiestan los principios de las partes o facultades anímicas. A simple (...) vista, podría suponerse que existe una incompatibilidad entre ambos enfoques, ya que no tendría mucho sentido afirmar que el alma se halla en todo el cuerpo y, al mismo tiempo, decir que se encuentra exclusivamente en uno de sus órganos específicos. Entonces, la tesis de este trabajo es que el pneuma ofrece la clave para la conciliación de estos dos enfoques, dado que es el instrumento empleado por las partes del alma para desplegar sus funciones por todo el cuerpo. El corazón, como sede material de dichas partes, irradia el pneuma en forma de sangre por todo el organismo; y éste, hasta que no se extingue esa operación vital, preserva su esencia, causa formal o razón de ser de su existir. De este modo, el hilemorfismo resulta sustentado por el cardiocentrismo. (shrink)

El artículo presenta la obra principal del pensamiento kantiano como una propedéutica de la metafísica, es decir, como una disquisición previa y metódica que procura sentar las bases para la construcción de un sistema metafísico. Por ello, se indica en principio la evolución del concepto de metafísica. Posteriormente, se contextualiza la situación difícil que vivía esta disciplina en la época del filósofo. Luego, se aborda el proyecto de su filosofía trascendental. Por último, se menciona la polémica sobre las interpretaciones más (...) relevantes de la Crítica de la razón pura en el siglo XX. (shrink)

Este artículo se propone realizar un acercamiento a la concepción que desarrolla Matthew Lipman sobre las múltiples dimensiones transactivas del pensamiento, con la intención de apreciar la forma en que aporta a la consolidación de una racionalidad que tenga como características distintivas la complejidad y el humanismo; en virtud de ello, se analizan las tres vertientes principales del pensamiento multidimensional, a saber: crítica, creativa y cuidadosa. La consecuencia del escrutinio arroja que la interacción y reciprocidad que se da entre las (...) tres dimensiones susodichas abre las puertas para la emergencia de un pensamiento de orden superior, la razonabilidad, que no es otra cosa que una racionalidad compleja, capaz de reconocer la pluralidad y la diversidad; es decir, una racionalidad que pretende superar las limitaciones del pensamiento imperante, para no incurrir en la unilateralidad, el instrumentalismo y el cientifismo. Así las cosas, el pionero del programa de Filosofía para Niños considera que el alcance de la razonabilidad debe ser la finalidad de todo proceso educativo; de ahí que Lipman se dé a la tarea de forjar una propuesta filosófico-pedagógica, que será la base para el despliegue de las habilidades superiores del pensamiento, las cuales resultarán indispensables para la construcción de una democracia de alta calidad. (shrink)

John Stuart Mill fue un reformador social. Como gran parte de los pensadores del siglo XIX, creía en la idea de progreso. Consideraba que se estaba viviendo un tiempo de transición, en el que se daba una tendencia hacia un mejor y más feliz estado de cosas, aunque también percibía que la época era de riegos y amenazas. No se pensaba ni como filósofo ni como académico ni como político, se veía a sí mismo como un reformador social, cuya función (...) era educar a la opinión ilustrada y progresista. El propósito de sus textos es persuadir y, con ello, ayudar a transformar. Sus tesis defienden la necesidad de organizar la sociedad moderna bajo ciertos principios para que pueda alcanzar un estado superior de progreso social y moral. -/- Contra la acusación de que John Stuart Mill es un pensador ecléctico, contradictorio y que no añade nada a los clásicos, el libro que el lector tiene en sus manos muestra que su originalidad no consistió en haber creado nuevos conceptos, sino en haber transformado conceptos fundamentales de la filosofía social, moral y política, matizándolos, otorgándoles nuevos sentidos y abriéndoles nuevas posibilidades. Fue un utilitarista, pero la doctrina utilitarista salió renovada de sus escritos. Fue un liberal, pero en un sentido nuevo de liberal, ni clásico ni contractualista. Fue demócrata, aunque en un sentido distinto del de la voluntad general de Rousseau. Fue socialista, pero un socialista cualificado. -/- Como educador de la opinión ilustrada, tuvo un éxito extraordinario. Sus libros tuvieron una gran acogida y su nombre gozó de prestigio, admiración y respeto en Inglaterra. Su pensamiento filosófico sigue mereciendo la mayor atención e inspirando y fascinando a muchos. Sus ideas políticas han tenido una influencia innegable en el mundo contemporáneo. (shrink)

Procreative obligations are often discussed by evaluating only the consequences of reproductive actions or omissions; less attention is paid to the moral role of intentions and attitudes. In this paper, I assess whether intentions and attitudes can contribute to defining our moral obligations with regard to assisted reproductive technologies already available, such as preimplantation genetic diagnosis (PGD), and those that may be available in future, such as reproductive genome editing and ectogenesis, in a way compatible with person‐affecting constraints. I propose (...) the parent–child relationship argument, which is based on the moral distinction between creating and parenting a child. Hence, I first argue that intentions and attitudes can play a role in defining our moral obligations in reproductive decisions involving PGD. Second, I maintain that if we accept this and recognize reproductive genome editing and ectogenesis as person‐affecting procedures, we should be committed to arguing that prospective parents may have moral reasons to prefer reproduction via such techniques than via sexual intercourse. In both cases, I observe an extension of our procreative responsibility beyond what is proposed by the consequentialist person‐affecting morality. (shrink)

Assisted reproductive technologies have greatly increased our control over reproductive choices, leading some bioethicists to argue that we face unprecedented moral obligations towards progeny. Several models attempting to balance the principle of procreative autonomy with these obligations have been proposed. The least demanding is the minimal threshold model (MTM), according to which every reproductive choice is permissible, except creating children whose lives will not be worth living. Hence, as long as the future child is likely to have a life worth (...) living, prospective parents may be allowed to use preimplantation genetic diagnosis (PGD) to select embryos with genetic diseases or disabilities. Assuming a consequentialist person‐affecting view of morality, this paper investigates whether the MTM is an appropriate tool to guide procreative decisions given the continuous development of reproductive genetic technologies. In particular, I consider germline genome editing (GGE) and I argue that its application in human reproduction, unlike PGD, should be conceived as person‐affecting towards future progeny. I claim that even if we assume the plausibility of the MTM within PGD, we are committed to accepting that a greater moral obligation towards progeny should guide procreative decisions if GGE were available. In this case, the MTM should no longer be considered an appropriate instrument to guide procreative choices. Finally, I investigate when we face this greater moral obligation, concluding that it applies only when prospective parents have already engaged in the in vitro fertilization process. (shrink)

In this paper, I analyze the ethical implications of genetic enhancement within the specific framework of the “child’s right to an open future” argument (CROF). Whilst there is a broad ethical consensus that genetic modifications for eradicating diseases or disabilities are in line with – or do not violate – CROF, there is huge disagreement about how to ethically understand genetic enhancement. Here, I analyze this disagreement and I provide a revised formulation of the argument in the specific field of (...) genetic enhancement. First, I argue that CROF is not in contrast with every kind of enhancement. I subsequently discuss whether CROF requires some moral obligations to enhance progeny. My argument is that parents do not have the moral obligation to open as many options as possible for their children. Rather, they should provide them with a reasonable range of opportunities. Finally, I contend that the moral obligations required by CROF are directly dependent on what Allen Buchanan calls the ‘dominant cooperative framework’ in a given society. I conclude by claiming that, at present, parents are not morally obliged to genetically enhance their children since a non-enhanced person already might have access to a reasonable range of opportunities. However, the moral obligation to enhance progeny might arise if a structural modification of the dominant cooperative framework occurs. (shrink)

In this paper, I will present the empirical version of the slippery slope argument (SSA) in the field of genome editing. According to the SSA, if we adopt germline manipulation of embryos we will eventually end up performing or allowing something morally reprehensible, such as new coercive eugenics. I will investigate the actual possibility of sliding towards eugenics: thus, I will examine enhancement and eugenics both in the classical and liberal versions, through the lens of SSA. In the first part, (...) I will discuss the classical eugenics from a historical perspective and conclude that classical eugenics is morally deplorable; but by currently accepting genome editing I argue that it is not possible to ‘slip’ into classical eugenics. Then, I will analyze liberal eugenics: I will consider Habermas’ and Sandel’s objections to liberal eugenics and genetic human enhancement. Subsequently, I will reply to these arguments affirming that, although it is not possible to refuse any form of genetic enhancement, liberal eugenics would not consider the principles of justice, non-maleficence, and non-instrumentalization; hence, it should be considered not morally acceptable. In addition, I will support the thesis according to which the possibility of relapsing into liberal eugenics is more likely than relapsing into classical eugenics. Then, I will present a strategy that, while avoiding falling into the undesirable scenarios related to SSA, still accepts some application of germline genome editing of embryos and gametes. In such a way, I will show that even if we accept the plausibility of a certain slip into an undesirable scenario, SSA does not offer conclusive reasons to forbid any use of germline genome editing technique in both therapeutic and enhancement fields. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

This study presents and develops in detail (a new version of) the argumental conception of meaning. The two basic principles of the argumental conception of meaning are: i) To know (implicitly) the sense of a word is to know (implicitly) all the argumentation rules concerning that word; ii) To know the sense of a sentence is to know the syntactic structure of that sentence and to know the senses of the words occurring in it. The sense of a sentence is (...) called immediate argumental role of that sentence. According to the argumental conception of meaning a theory of meaning for a particular language yields a systematic specification of the understanding of every sentence of the language which consists in a specification of the immediate argumental role of the sentence. The immediate argumental role is a particular aspect of the use of a sentence in arguments. But it is not the whole use in arguments, nor is the whole use in arguments reducible to the immediate argumental role. That is why, by accepting the argumental conception of meaning, we can have epistemological holism without linguistic holism. The argumental conception distinguishes between the understanding and the correctness of a language. Such a distinction makes it possible to account for our understanding of paradoxical languages. Redundancy theory of truth, realistic conceptions of truth or epistemic conceptions of truth are all compatible with an argumental conception of sense. But here it is argued that an epistemic conception of truth is preferrable. Acceptance of the argumental conception of meaning and of an epistemic conception of truth leads to a rejection of the idea of analytic truth. The argumental conception is pluralistic with respect to the understandability of different logics, and neutral with respect to their correctness. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

I address the objection that the concept of racism has become overly inflated. Critics of the conceptual inflation of “racism” argue that theories of institutional racism engage in untoward conceptual inflation insofar as they undermine our moral understanding of racial phenomena, hinder our ability to explain the causes of racial inequality, and even undercut struggles for racial justice. I develop an original account of institutional racism and show that it is immune to all three versions of the conceptual inflation challenge.

I defend impact-based accounts of institutional racism against the criticism that they are over-inclusive. If having a negative impact on non-whites suffices to make an institution racist, too many institutions (including institutions whose affirmative action policies inadvertently harm its intended beneficiaries) would count as racist. To address this challenge, I consider a further necessary condition for these institutions to count as racist—they must stand in a particular relation to racist ideology. I argue that, on the impact-based model, institutions are racist (...) if they have a negative racial impact AND this impact is legitimized by racist ideology. Racist ideologies limit social criticism of and collective action against institutions that have a negative racial impact, and in so doing, lend stability to systems of racial domination. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

There are various proposals for a general characterization of holism1. In this paper I propose the following: a variety of holism is the view that every X of an appropriate kind, which is part of a relevant whole W, cannot be legitimately separated or taken in isolation from W. Then, I distinguish two general kinds of holism, depending on two different reasons which can debar us from taking X in isolation from W. One reason can be that separating X from (...) W always amounts to transforming X into something else. Correspondingly, a strong holism is the view that if the whole W is modified anywhere, X ceases to be X and becomes something else. Another reason why it may be illegitimate to consider X in isolation from W can be that if we separate X from W, nothing that we know entitles us to exclude that X might be transformed into something else. Correspondingly, virtual holism is the view that if the whole W is modified anywhere, we can never rule out that X ceases to be X and becomes something else. (shrink)

In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, (...) class='Hi'>Augusto evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

Alberto Coffa used the phrase "the Copernican turn in semantics" to denote a revolutionary transformation of philosophical views about the connection between the meanings of words and the acceptability of sentences and arguments containing those words. According to the new conception resulting from the Copernican turn, here called "the Copernican view", rules of use are constitutive of the meanings of words. This view has been linked with two doctrines: (A) the instances of meaning-constitutive rules are analytically and a priori true (...) or valid; (B) to grasp a meaning is to accept its rules. The pros and cons of different versions of the Copernican view, ascribable to Wittgenstein, Carnap, Gentzen, Dummett, Prawitz, Boghossian and other authors, will be weighed. A new version will be proposed, which implies neither (A) nor (B). (shrink)

Knowledge brokers are among the main channels of communication between scientists and the public and a key element to establishing a relation of trust between the two. But translating knowledge from the scientific community to a wider audience presents several difficulties, which can be accentuated in times of crisis. In this paper we study some of the problems that knowledge brokers face when communicating in times of crisis. During the first wave of the COVID-19 pandemic, we collected interviews with Italian (...) experts that played a major role as knowledge brokers in the local media. We asked them questions about five main topics: the features and role of science communicators; the use of language in communicating science; the importance of the relation of trust with the public; the peculiarity of communicating in a context of emergency; the problem of disagreement among experts, and its public perception and communication. The goal of this paper is to understand, through the words of knowledge brokers themselves, what they consider as best practices (and obstacles) to create trust between scientists and the public. Our empirical work can inform normative accounts of what knowledge brokering should be about. (shrink)

On how medieval philosophy is not (only) theology.

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

This paper argues that racism should not only be conceived as a moral concept whose main aim is to condemn severe wrongs in the domain of race. The paper advances a complementary interpretation of racism as an explanatory concept--one that plays a key role in explaining race-based social problems afflicting members of subordinate racialized groups. As an explanatory concept, the term 'racism' is used to diagnose and highlight the causes of race-related social problems. The project of diagnosing race-based social problems (...) contributes to the pragmatic anti-racist end of developing better political and policy strategies for solving these social problems. The paper defends this interpretation of racism as an explanatory concept through a critical engagement with Urquidez's moral-philosophical account of racism. (shrink)

Can an epistemic conception of truth and an endorsement of the excluded middle (together with other principles of classical logic abandoned by the intuitionists) cohabit in a plausible philosophical view? In PART I I describe the general problem concerning the relation between the epistemic conception of truth and the principle of excluded middle. In PART II I give a historical overview of different attitudes regarding the problem. In PART III I sketch a possible holistic solution.

“Identità” qui si intende nel senso già precisato da Aristotele di “identità numerica”, che si ha “quando i nomi sono parecchi, ma la cosa è una sola” e, non nel senso di “identità specifica”, che si ha invece “quando gli oggetti, pur essendo parecchi, non rivelano differenze quanto alla specie”.1 In questo articolo intendo fornire al lettore indicazioni introduttive (non certo esaustive) sul posto che la nozione di identità numerica occupa nella logica contemporanea e nell’area di riflessione filosofica del Novecento (...) più strettamente legata alla logica, la filosofia analitica. Nella terza parte proporrò qualche spunto per un’indagine originale. (shrink)

2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications.

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

Introduction - From the Illiad to the Studies on Hysteria: A chronology of the discovery of the unconscious mind - Freud's theories of the unconscious mind - Jung's collective unconscious - Lacan's linguistic paradigm.

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (shrink)

Ideas on meaning, rules and mathematical proofs abound in Wittgenstein’s writings. The undeniable fact that they are present together, sometimes intertwined in the same passage of Philosophical Investigations or Remarks on the Foundations of Mathematics, does not show, however, that the connection between these ideas is necessary or inextricable. The possibility remains, and ought to be checked, that they can be plausibly and consistently separated. I am going to examine two views detectable in Wittgenstein’s works: one about proofs, the other (...) about meaning and rules. The first is the denial of the objectivity of proof. The second is a conception of meaning stemming from the rule-following considerations. I shall argue that, though Wittgenstein seems to conjoin the two views, they can be, and should be, separated1. (shrink)

This paper aims to explore the nature of Zeno-machines by examining their conceptual coherence, from the perspective of contemporary theories on the passage of time. More specifically, it will analyse the following questions: Are Zeno-machines and supertasks coherent if we adopt the eternalist theory of time? What conclusions can be drawn from choosing the eternalist thesis, or the presentist thesis, when examining Zeno-machines? To this end, an overview of the opposing theories of time is provided, alongside the usual objections to (...) Zeno-machines and their theoretical foundations from Zeno’s dichotomy paradox. Keywords: Zeno-machines, philosophy of time, supertasks, Zeno’s paradox. (shrink)

Chi ha l'abitudine di sfogliare le riviste filosofiche sa che "metafisica" non è più una parola che scotta. I maestri dell'inizio del secolo (gli empiristi logici sono l'esempio più tipico) identificarono la metafisica con il non-senso e usarono la parola come un marchio di infamia. Non mancavano precedenti nella storia della filosofia. Ma oggi gli allievi di quei maestri preferiscono rifarsi ad un uso diverso, meno fazioso, del termine per indicare con esso un'indagine filosofica, che non solo non deve essere (...) trascurata, ma concerne i fondamenti di molte altre ricerche, ed è quindi per molti versi centrale. (shrink)